Abstract data type - PDFSEARCH.IO - Document Search Engine

Abstract data type
Results: 296

#	Item
21	Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Data types Software engineering Object-oriented programming Computing Polymorphism Functional programming Type system Subtyping Symbol Uniqueness type
22	Approximate Contextual Preference Scoring in Digital Libraries Kostas Stefanidis and Evaggelia Pitoura Computer Science Department, University of Ioannina, GRIoannina, Greece {kstef, pitoura}@cs.uoi.gr Abstract Th Add to Reading List Source URL: dmod.eu Language: English - Date: 2013-11-27 13:39:27 Relational model Data management Mathematical notation Tuple Type theory Relation
23	Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-31 23:15:57 Type theory Functional languages Object-oriented programming languages Type systems Data types Haskell Structural type system Duck typing D Type signature OCaml Abstract type
24	Name and SURNAME1 Name and SURNAME2 TITLE – BOLD, TO THE LEFT MARGIN, CAPS 15 POINTS, SINGLE SPACE Abstract (in the language of the article – lower case letters 9 points, the indentation of the whole left side 2 cm Add to Reading List Source URL: www.oficyna.portal.prz.edu.pl Language: English - Date: 2013-12-16 02:24:32 Punctuation HTML HTML element At sign Array data type ASCII Color
25	Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Type theory Polymorphism Data types Object-oriented programming Dependently typed programming Covariance and contravariance Higher-order abstract syntax Lambda calculus Const Subtyping Scala Generalized algebraic data type
26	Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers) Add to Reading List Source URL: users.ugent.be Language: English - Date: 2014-09-18 05:58:35 Programming paradigms Logic in computer science Constraint programming Prolog Constraint Handling Rules Abstract machine Operational semantics Abstract data type Semantics Functional programming Logic programming Coq
27	Vectors in Julia Keegan Go David Zeng Stephen Boyd Add to Reading List Source URL: stanford.edu Language: English - Date: 2015-09-24 12:16:15 Linear algebra Vectors Vector calculus Abstract algebra Euclidean vector Vector space Array programming Array data type Vector Array data structure Matrix
28	Gradual Typing with Efficient Object Casts Extended abstract Michael M. Vitousek ∗ Adviser: Jeremy G. Siek † University of Colorado at Boulder Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Data types Type theory Object-oriented programming languages Cross-platform software Procedural programming languages Gradual typing Type system This Objective-C Type safety Parameter Reference
29	HAL8 Workshop: A Practical Approach to GHC Language Extensions Matthias Fischmann and S¨onke Hahn {mf,sh}@zerobuzz.net May 2, 2013 Abstract Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Functional programming Functional languages Data types Type theory Source code Generalized algebraic data type Haskell Type class Lisp Macro Guard Pattern matching
30	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class

UPDATE